//]]>
Unhighlight Highlight
CONCUR 2011 – Concurrency Theory by Katoen, Joost-Pieter. Publication: . XIV, 560p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Data Management in Grid and Peer-to-Peer Systems by Hameurlain, Abdelkader. Publication: . X, 135 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Interactive Theorem Proving by Eekelen, Marko. Publication: . XI, 383 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Towards a Service-Based Internet. ServiceWave 2010 Workshops by Cezon, Michel. Publication: . XXIX, 209 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Agent-Oriented Software Engineering XI by Weyns, Danny. Publication: . X, 249 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A Hybrid Deliberative Layer for Robotic Agents by Hartanto, Ronny. Publication: . XXII, 215 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Rule-Based Reasoning, Programming, and Applications by Bassiliades, Nick. Publication: . XIII, 385 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Deduction – CADE-23 by Bjørner, Nikolaj. Publication: . XIII, 508 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Logic in Multi-Agent Systems by Leite, João. Publication: . XV, 383 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Reasoning with Analytic Tableaux and Related Methods by Brünnler, Kai. Publication: . VIII, 279p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Aided Verification by Gopalakrishnan, Ganesh. Publication: . XV, 763p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Virtual and Mixed Reality - Systems and Applications by Shumaker, Randall. Publication: . XXVII, 436p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Virtual and Mixed Reality - New Trends by Shumaker, Randall. Publication: . 432p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Computational Collective Intelligence IV by Nguyen, Ngoc Thanh. Publication: . IX, 211p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advanced Information Systems Engineering by Mouratidis, Haralambos. Publication: . XVIII, 684p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Toward Useful Services for Elderly and People with Disabilities by Abdulrazak, Bessam. Publication: . XVII, 327p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems by Calinescu, Radu. Publication: . 250p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Coordination, Organizations, Institutions, and Norms in Agent Systems VI by Vos, Marina. Publication: . XVI, 377p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Relational and Algebraic Methods in Computer Science by Swart, Harrie. Publication: . VIII, 363 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic Programming and Nonmonotonic Reasoning by Delgrande, James P. Publication: . XIII, 406 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5 6 7 8 9 10 Next >>
Languages: 
English |
العربية